Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
421	NOT PROTECTIVELY MARKED Office for Nuclear Regulation An agency of HSE ONR GUIDE Add to Reading List Source URL: www.onr.org.uk Language: English - Date: 2014-03-31 18:53:18 Clinical research Quality Validation Verification and validation Software development process Nuclear safety Knowledge Pharmaceutical industry Validity Science
422	Microsoft Word - D1 3_v1.1 - FINAL.doc Add to Reading List Source URL: www.envision-project.eu Language: English - Date: 2012-11-08 11:26:57 Validity Science Formal methods Software quality RM-ODP Validation Verification and validation Software testing Software development process Software development Systems engineering Pharmaceutical industry
423	Title of document ONR Guide Design Safety Assurance Document Type: Add to Reading List Source URL: www.onr.org.uk Language: English - Date: 2014-11-11 10:34:05 Systems science Technology Pharmaceutical industry Validity Validation Verification and validation Human factors Software development process ALARP Science Systems engineering Safety
424	Microsoft Word - D2doc Add to Reading List Source URL: www.envision-project.eu Language: English - Date: 2013-02-07 03:52:10 Test case Verification and validation Science Evaluation Portlet Software testing VP3
425	Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification Redge Bartholomew Software Design Support Engineering and Technology Rockwell Collins, Inc. Add to Reading List Source URL: daly.axiom-developer.org Language: English - Date: 2007-09-10 11:09:21 Software development Assembly languages Computer architecture X86 assembly language Low-level programming language JMP DO-178B Avionics software Software verification X86 architecture Computing Avionics
426	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
427	A Simple, Verified Validator for Software Pipelining (verification pearl) Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-11-02 08:42:35 Symbol Software pipelining
428	Microsoft PowerPoint - 7thICCC TL-LETI propal4.ppt Add to Reading List Source URL: www.commoncriteriaportal.org Language: English - Date: 2011-10-31 12:04:31 Formal verification Computer science Formal specification Software development process Validation Formal methods Applied mathematics Science
429	ONTRACK DATA ERASURE Erasure processes made easy just register and get started. Deletion, management and verification of any number of erasure processes are a breeze with hosted erase. Add to Reading List Source URL: www.ibas.no Language: English - Date: 2015-04-27 04:32:55 Ontrack Ibas Data erasure Blancco Disk formatting Kroll System software Computing Kroll Inc. Security
430	A Closer Look at Aspect Interference and Cooperation Cynthia Disenfeld Shmuel Katz Department of Computer Science Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-01-24 04:02:45 Aspect-oriented programming Logic in computer science Formal methods Philosophical logic Grammatical aspect Economic model AspectJ Formal verification Modal logic Software development Software Aspect-oriented software development

UPDATE